// 导出Todo接口
export interface Todo{
    id?:number,
    text?:string,
    isfinsh?:boolean
}